Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
21	Univalent Foundation and Constructive Mathematics Thierry Coquand Oberwolfach, November 18, 2014 Univalent Foundation and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-11-22 08:17:10 Algebra Category theory Algebraic structures Higher category theory Groupoid Symmetry Constructivism Category Mathematical logic Abstract algebra Mathematics Homotopy theory
22	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
23	RESEARCH SECTION ‘I like it instead of maths’: how pupils with moderate learning difficulties in Scottish primary special schools intuitively solved mathematical word problems Add to Reading List Source URL: www.edutalk.info Language: English - Date: 2015-05-26 17:15:50 Elementary mathematics Cognitively Guided Instruction Constructivism Mathematics education Learning disability Student-centred learning Mitchell J. Nathan Mathematical anxiety Education Educational psychology Education reform
24	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory
25	When Politics Took the Place of Inquiry: A Response to the National Mathematics Advisory Panel’s Review of Instructional Practices Jo Boaler mathematics successfully. The authors argue that in conducting its Add to Reading List Source URL: joboaler.com Language: English - Date: 2012-09-19 11:13:37 Educational psychology Statistics education Constructivism Math wars National Council of Teachers of Mathematics Mathematics Mathematical anxiety Ethnomathematics Education Mathematics education Education reform
26	Auto in Agda joint work with Pepijn Kokke ! Nijmegen Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Knowledge Functional languages Deduction Agda Mathematical proof Soundness Per Martin-Löf Constructivism Denotational semantics Logic Proof theory Mathematics
27	Maths Is All Around You Developing Mathematical Concepts in the Early Years Marianne Knaus Published in 2013 by TEACHING SOLUTIONS Add to Reading List Source URL: www.teachingsolutions.com.au Language: English - Date: 2013-09-03 20:57:23 Alternative education Constructivism Mathematics education Statistics education Rote learning Information and communication technologies in education Mathematics Mathematical anxiety Constance Kamii Education Education reform Educational psychology
28	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
29	PDF Document Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2007-08-30 22:47:44 Philosophy of mathematics Mathematical constructivism Non-classical logic Philosophical logic Rules of inference Alain Badiou Ontology Empty set Intuitionism Logic Mathematical logic Mathematics
30	-calculus Classical Realizability Channels and their reduction Add to Reading List Source URL: lepigre.fr Language: English - Date: 2014-10-13 07:48:11 Type theory Mathematical constructivism Realizability Stack Type system Calculus C Programming language theory Software engineering Computing

UPDATE